Nuprl Lemma : concat-nil
11,40
postcript
pdf
concat([]) ~ []
latex
Definitions
concat(
ll
)
,
reduce(
f
;
k
;
as
)
,
Y
origin